Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
141	Documenta Mathematica Journal der Deutschen Mathematiker-Vereinigung founded in 1996 http://www.math.uni-bielefeld.de/documenta/ ISSN · Print Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2015-08-28 12:45:31 Software Application software Mathematical software Andrei Suslin Anil Nerode Stephen Lichtenbaum Documenta Wolfram Mathematica
142	On Paging with Locality of Reference Susanne Albers Lene M. Favrholdty Oliver Gielz Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:04:07 Virtual memory Online algorithms Software Algorithm Mathematical logic Theoretical computer science Mathematics Paging Applied mathematics Page replacement algorithm
143	Postdoctoral Fellow Position Description: Two postdoctoral positions are available immediately in the lab of Dr. Peter Yang, Associate Professor, Departments of Orthopedic Surgery, Materials Science Engineering (courtesy Add to Reading List Source URL: mae.mst.edu Language: English - Date: 2015-10-29 17:10:43 Software Biology Mathematical software Emerging technologies Cell biology Cloning Developmental biology Stem cell LabVIEW 3D printing Science technology engineering and mathematics
144	CADE-18 Workshop: Problems and Problem Sets Contents: John Harrison Invited talk: Extracting Test Problems from Real Applications J Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2002-06-13 14:56:18 Automated theorem proving Theoretical computer science Mathematical logic Software engineering TPTP Automated reasoning SPASS Reasoning system Prolog Model elimination OMDoc System on TPTP
145	ai solutions logo_ReBuild Add to Reading List Source URL: ai-solutions.com Language: English - Date: 2016-04-07 20:11:39 Software Application software Mathematical software Aerospace engineering Spaceflight 3D graphics software FreeFlyer Unmanned spacecraft Satellite Space debris Spacecraft NASA
146	DRAGONFLY: A JAVA-BASED IAMC CLIENT PROTOTYPE WEIDONG LIAO, PAUL S. WANG Institute for Computational Mathematics Department of Mathematics & Computer Science Kent State University Kent, Ohio 44242, U.S.A. Add to Reading List Source URL: icm.mcs.kent.edu Language: English - Date: 2001-04-01 20:43:16 Software Application software Mathematical software Cross-platform software Functional languages Formula editors Mathematical markup languages MathML Maple Wolfram Mathematica Symbolic computation Design Science
147	Dynamic Query Re-Optimization Kenneth W. Ng Zhenghao Wang Richard R. Muntz Silvia Nittel fkenneth,zwang,muntz, Computer Science Department University of California Los Angeles, CA Add to Reading List Source URL: silvianittel.files.wordpress.com Language: English - Date: 2016-07-10 13:04:37 Database management systems Data management Software SQL Computing Query optimization Query plan QEP Adaptive optimization Database Mathematical optimization View
148	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
149	UCT for PCG Cameron Browne Imperial College London South Kensington, UK Abstract—This paper describes initial experiments in the use Add to Reading List Source URL: eldar.mathstat.uoguelph.ca Language: English - Date: 2016-07-12 12:05:04 Mathematics Computer programming Mathematical games Polyforms Software engineering Search algorithms Mathematical optimization Data types Monte Carlo tree search Pentomino Genetic algorithm Tree traversal
150	Contents 1 Introduction and Installation 1.1 What is Julia and Why Julia? 1.2 Julia in the Cloud: JuliaBox 1.3 Installing JuliaInstalling Gurobi Add to Reading List Source URL: www.chkwon.net Language: English - Date: 2016-08-04 11:55:32 Mathematical optimization Numerical analysis Mathematical analysis Operations research Analysis Numerical software Approximations Relaxation Linear programming Nl CPLEX Quadratic programming

UPDATE